Theoretical prediction on room and high temperature mechanical and thermal properties of the matrix and interphase materials for future UHTCf/UHTC composites

Ultrahigh-temperature ceramics (UHTCs) are materials of choice for future hypersonic vehicles as nose tip and sharp leading edges, as well as hot structure components for scramjet engines. However, the brittleness and poor thermal shock resistance are prevailing problems that have blocked the real applications of the current UHTCs. To overcome the brittleness and poor thermal shock resistance, ultrahigh-temperature ceramic fiber reinforced ultrahigh-temperature ceramic matrix (UHTCf/UHTC) composites must be developed. The advantages of future UHTCf/UHTC composites include excellent defect tolerance, high fracture toughness, low density, excellent thermal shock resistance, and high thermal conductivity. Recently, high ceramic yield liquid UHTC precursors and UHTC fibers have been developed, which enable the design and fabrication of UHTCf/UHTC composites utilizing a combined process of CVI and PIP. As for other CMCs, in designing future UHTCf/UHTC composites, fiber–matrix interphase is apt to play a determining role to ensure load transfer, fiber pull-out, and toughening. However, the interphase materials for future UHTCf/UHTC composites are not available yet. In this talk, the room and high temperature mechanical and thermal properties of TMB2 (TM=transition metals) investigated by a combination of first principle and phonon dispersion calculations will be presented first. Then the criteria and methods for searching for the promising interphase materials of UHTCf/UHTC composites including “soft” transition metal borides and borocarbides will be presented. Finally, the chemical bonding nature that underpins the properties of these materials will be discussed. Methods to strengthen the grain boundary of UHTCf will be proposed. And the effect of weak τ bond formed by the overlapping of perpendicular p orbitals on the mechanical properties is emphasized

Improving WalkSAT for Random 3-SAT Problems

Stochastic local search (SLS) algorithms are well known for their ability to efficiently find models of random instances of the Boolean satisfiability (SAT) problems. One of the most famous SLS algorithms for SAT is called WalkSAT, which has wide influence and performs well on most of random 3-SAT instances. However, the performance of WalkSAT lags far behind on random 3-SAT instances equal to or greater than the phase transition ratio. Motivated by this limitation, in the present work, firstly an allocation strategy is introduced and utilized in WalkSAT to determine the initial assignment, leading to a new algorithm called WalkSATvav. The experimental results show that WalkSATvav significantly outperforms the state-of-the-art SLS solvers on random 3-SAT instances at the phase transition for SAT Competition 2017. However, WalkSATvav cannot rival its competitors on random 3-SAT instances greater than the phase transition ratio. Accordingly, WalkSATvav is further improved for such instances by utilizing a combination of an improved genetic algorithm and an improved ant colony algorithm, which complement each other in guiding the search direction. The resulting algorithm, called WalkSATga, is far better than WalkSAT and significantly outperforms some previous known SLS solvers on random 3-SAT instances greater than the phase transition ratio from SAT Competition 2017. Finally, a new SAT solver called WalkSATlg, which combines WalkSATvav and WalkSATga, is proposed, which is competitive with the winner of random satisfiable category of SAT competition 2017 on random 3-SAT problem

Improving probability selection based weights for satisfiability problems

Boolean Satisfiability problem (SAT) plays a prominent role in many domains of computer science and artificial intelligence due to its significant importance in both theory and applications. Algorithms for solving SAT problems can be categorized into two main classes: complete algorithms and incomplete algorithms (typically stochastic local search (SLS) algorithms). SLS algorithms are among the most effective for solving uniform random SAT problems, while hybrid algorithms achieved great breakthroughs for solving hard random SAT (HRS) problem recently. However, there is a lack of algorithms that can effectively solve both uniform random SAT and HRS problems. In this paper, a new SLS algorithm named SelectNTS is proposed aiming at solving both uniform random SAT and HRS problem effectively. SelectNTS is essentially an improved probability selection based local search algorithm, the core of which includes new clause and variable selection heuristics: a new clause weighting scheme and a biased random walk strategy are utilized to select a clause, while a new probability selection strategy with the variation of configuration checking strategy is used to select a variable. Extensive experimental results show that SelectNTS outperforms the state-of-the-art random SAT algorithms and hybrid algorithms in solving both uniform random SAT and HRS problems effectively

A 12-Lead ECG Database to Identify Origins of Idiopathic Ventricular Arrhythmia Containing 334 Patients

Cardiac catheter ablation has shown the effectiveness of treating the idiopathic premature ventricular complex and ventricular tachycardia. As the most important prerequisite for successful therapy, criteria based on analysis of 12-lead ECGs are employed to reliably speculate the locations of idiopathic ventricular arrhythmia before a subsequent catheter ablation procedure. Among these possible locations, right ventricular outflow tract and left outflow tract are the major ones. We created a new 12-lead ECG database under the auspices of Chapman University and Ningbo First Hospital of Zhejiang University that aims to provide high quality data enabling detection of the distinctions between idiopathic ventricular arrhythmia from right ventricular outflow tract to left ventricular outflow tract. The dataset contains 334 subjects who successfully underwent a catheter ablation procedure that validated the accurate origins of idiopathic ventricular arrhythmia

C. elegans fatty acid two-hydroxylase regulates intestinal homeostasis by affecting heptadecenoic acid production

Background/Aims: The hydroxylation of fatty acids at the C-2 position is the first step of fatty acid α-oxidation and generates sphingolipids containing 2-hydroxy fatty acyl moieties. Fatty acid 2-hydroxylation is catalyzed by Fatty acid 2-hydroxylase (FA2H) enzyme. However, the precise roles of FA2H and fatty acid 2-hydroxylation in whole cell homeostasis still remain unclear. Methods: Here we utilize Caenorhabditis elegans as the model and systemically investigate the physiological functions of FATH-1/C25A1.5, the highly conserved worm homolog for mammalian FA2H enzyme. Immunostaining, dye-staining and translational fusion reporters were used to visualize FATH-1 protein and a variety of subcellular structures. The “click chemistry” method was employed to label 2-OH fatty acid in vivo. Global and tissue-specific RNAi knockdown experiments were performed to inactivate FATH-1 function. Lipid analysis of the fath-1 deficient mutants was achieved by mass spectrometry. Results: C. elegans FATH-1 is expressed at most developmental stages and in most tissues. Loss of fath-1 expression results in severe growth retardation and shortened lifespan. FATH-1 function is crucially required in the intestine but not the epidermis with stereospecificity. The “click chemistry” labeling technique showed that the FATH-1 metabolites are mainly enriched in membrane structures preferable to the apical side of the intestinal cells. At the subcellular level, we found that loss of fath-1 expression inhibits lipid droplets formation, as well as selectively disrupts peroxisomes and apical endosomes. Lipid analysis of the fath-1 deficient animals revealed a significant reduction in the content of heptadecenoic acid, while other major FAs remain unaffected. Feeding of exogenous heptadecenoic acid (C17: 1), but not oleic acid (C18: 1), rescues the global and subcellular defects of fath-1 knockdown worms. Conclusion: Our study revealed that FATH-1 and its catalytic products are highly specific in the context of chirality, C-chain length, spatial distribution, as well as the types of cellular organelles they affect. Such an unexpected degree of specificity for the synthesis and functions of hydroxylated FAs helps to regulate protein transport and fat metabolism, therefore maintaining the cellular homeostasis of the intestinal cells. These findings may help our understanding of FA2H functions across species, and offer potential therapeutical targets for treating FA2H-related diseases